Sfoglia per Serie CEUR WORKSHOP PROCEEDINGS
A decidable theory of differentiable functions with convexities and concavities on real intervals
2020-01-01 Buriola, G.; Cantone, D.; Cincotti, G.; Omodeo, E. G.; Sparta, G. T.
A decidable theory treating addition of differentiable real functions
file da validare2021-01-01 Buriola, Gabriele; Cantone, Domenico; Cincotti, Gianluca; Omodeo, Eugenio G.; Spartà, Gaetano
Density of Ham- and Lee-non-isometric k-ary Words
2023-01-01 Anselmo, M.; Flores, M.; Madonia, M.
Does every recursively enumerable set admit a finite-fold Diophantine representation?
2019-01-01 Cantone, Domenico; Casagrande, A.; Fabris, F.; Omodeo, Eugenio G.
An early warning system for seismic events based on the multi-agent model
file da validare2020-01-01 Spina, R.; Fornaia, A.; Tramontana, E.
Effective group formation in agent societies
file da validare2018-01-01 Liotta, Antonio; Messina, Fabrizio; Rosaci, Domenico; Sarné, Giuseppe M. L.
Effective Heuristics for Finding Small Minimal Feedback Arc Set Even for Large Graphs
file da validare2023-01-01 Cavallaro, C.; Cutello, V.; Pavone, M.
EmotivITA at EVALITA2023: Overview of the Dimensional and Multidimensional Emotion Analysis Task
file da validare2023-01-01 Cutugno, Francesco; Venuti, Marco; Gafà, Giovanni
Encoding sets as real numbers
2018-01-01 Cantone, Domenico; Policriti, Alberto
Enhancing Characters Distance Text Sampling by Condensed Alphabets
file da validare2021-01-01 Faro, S.; Marino, F. P.; Pavone, A.
Face analysis and body language understanding from egocentric cameras
file da validare2020-01-01 Moller, R.; Furnari, A.; Battiato, S.; Harma, A.; Farinella, G. M.
Face-to-face and online learning: The role of technology in students’ metacognition
2021-01-01 Pirrone, C.; Varrasi, S.; Platania, G. A.; Castellano, S.
Fast-insertion-sort: A new family of efficient variants of the insertion-sort algorithm
file da validare2020-01-01 Faro, S.; Marino, F. P.; Scafiti, S.
Flight time optimization in people identification by multidrone-femtocell systems
2020-01-01 Avanzato, R.; Beritelli, F.; Nicotra, G.
Foreword
file da validare2013-01-01 Cantone, D.; Nicolosi-Asmundo, M.
FPGA Implementation of a BPSK Modulator with Frequency Hopping
file da validare2021-01-01 Beritelli, F.; Capizzi, G.; Rametta, C.; Napoli, C.
FPGA Implementation of a Parallel DDS for Wide-Band Applications
file da validare2021-01-01 Magistris, G. D.; Rametta, C.; Capizzi, G.; Napoli, C.
From Hilbert's 10th problem to slim, undecidable fragments of set theory
2020-01-01 Cantone, D.; Omodeo, E. G.; Panettiere, M.
Improving agent group homogeneity over time
file da validare2017-01-01 De Meo, Pasquale; Messina, Fabrizio; Rosaci, Domenico; Sarné, Giuseppe M. L.
Introduction to a task on context of experience: Recommending videos suiting a watching situation
2015-01-01 Riegler, M; Larson, M; Spampinato, Concetto; Markussen, J; Halvorsen, P; Griwodz, C.
| Titolo | Data di pubblicazione | Autore(i) | File |
|---|---|---|---|
| A decidable theory of differentiable functions with convexities and concavities on real intervals | 1-gen-2020 | Buriola, G.; Cantone, D.; Cincotti, G.; Omodeo, E. G.; Sparta, G. T. | |
| A decidable theory treating addition of differentiable real functions | 1-gen-2021 | Buriola, Gabriele; Cantone, Domenico; Cincotti, Gianluca; Omodeo, Eugenio G.; Spartà, Gaetano | file da validare |
| Density of Ham- and Lee-non-isometric k-ary Words | 1-gen-2023 | Anselmo, M.; Flores, M.; Madonia, M. | |
| Does every recursively enumerable set admit a finite-fold Diophantine representation? | 1-gen-2019 | Cantone, Domenico; Casagrande, A.; Fabris, F.; Omodeo, Eugenio G. | |
| An early warning system for seismic events based on the multi-agent model | 1-gen-2020 | Spina, R.; Fornaia, A.; Tramontana, E. | file da validare |
| Effective group formation in agent societies | 1-gen-2018 | Liotta, Antonio; Messina, Fabrizio; Rosaci, Domenico; Sarné, Giuseppe M. L. | file da validare |
| Effective Heuristics for Finding Small Minimal Feedback Arc Set Even for Large Graphs | 1-gen-2023 | Cavallaro, C.; Cutello, V.; Pavone, M. | file da validare |
| EmotivITA at EVALITA2023: Overview of the Dimensional and Multidimensional Emotion Analysis Task | 1-gen-2023 | Cutugno, Francesco; Venuti, Marco; Gafà, Giovanni | file da validare |
| Encoding sets as real numbers | 1-gen-2018 | Cantone, Domenico; Policriti, Alberto | |
| Enhancing Characters Distance Text Sampling by Condensed Alphabets | 1-gen-2021 | Faro, S.; Marino, F. P.; Pavone, A. | file da validare |
| Face analysis and body language understanding from egocentric cameras | 1-gen-2020 | Moller, R.; Furnari, A.; Battiato, S.; Harma, A.; Farinella, G. M. | file da validare |
| Face-to-face and online learning: The role of technology in students’ metacognition | 1-gen-2021 | Pirrone, C.; Varrasi, S.; Platania, G. A.; Castellano, S. | |
| Fast-insertion-sort: A new family of efficient variants of the insertion-sort algorithm | 1-gen-2020 | Faro, S.; Marino, F. P.; Scafiti, S. | file da validare |
| Flight time optimization in people identification by multidrone-femtocell systems | 1-gen-2020 | Avanzato, R.; Beritelli, F.; Nicotra, G. | |
| Foreword | 1-gen-2013 | Cantone, D.; Nicolosi-Asmundo, M. | file da validare |
| FPGA Implementation of a BPSK Modulator with Frequency Hopping | 1-gen-2021 | Beritelli, F.; Capizzi, G.; Rametta, C.; Napoli, C. | file da validare |
| FPGA Implementation of a Parallel DDS for Wide-Band Applications | 1-gen-2021 | Magistris, G. D.; Rametta, C.; Capizzi, G.; Napoli, C. | file da validare |
| From Hilbert's 10th problem to slim, undecidable fragments of set theory | 1-gen-2020 | Cantone, D.; Omodeo, E. G.; Panettiere, M. | |
| Improving agent group homogeneity over time | 1-gen-2017 | De Meo, Pasquale; Messina, Fabrizio; Rosaci, Domenico; Sarné, Giuseppe M. L. | file da validare |
| Introduction to a task on context of experience: Recommending videos suiting a watching situation | 1-gen-2015 | Riegler, M; Larson, M; Spampinato, Concetto; Markussen, J; Halvorsen, P; Griwodz, C. |
Legenda icone
- file ad accesso aperto
- file disponibili sulla rete interna
- file disponibili agli utenti autorizzati
- file disponibili solo agli amministratori
- file sotto embargo
- nessun file disponibile